//
// phpGetURL(theURL)
//
// Retrieve the HTML of the specified URL.
//
Let (
	[
		$theURL = theURL;

		phpCode = "error_reporting(0); //E_ALL & ~E_NOTICE);¶
		¶
		$creq = curl_init();¶
		curl_setopt($creq, CURLOPT_URL, fm_evaluate('$theURL'));¶
		curl_exec($creq);¶
		¶
		if (curl_errno($creq))¶
			print curl_error($creq);¶
		else¶
			curl_close($creq);¶
	  "
	] ;
	PHP_Execute(phpCode)
)